Konev, Michael: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Deductive temporal reasoning with constraints

Dixon, Clare, Konev, Boris, Fisher, Michael, Nietiadi, Sherly

Journal:

Journal of Applied Logic

Year:

2013

Language:

english

File:

PDF, 381 KB

english, 2013

2

Enantiospecific Intramolecular Heck Reactions of Secondary Benzylic Ethers

Harris, Michael R., Konev, Mikhail O., Jarvo, Elizabeth R.

Journal:

Journal of the American Chemical Society

Year:

2014

Language:

english

File:

PDF, 451 KB

english, 2014

3

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Practical First-Order Temporal Reasoning

Dixon, Clare, Fisher, Michael, Konev, Boris, Lisitsa, Alexei

Year:

2008

Language:

english

File:

PDF, 301 KB

english, 2008

4

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Year:

2006

Language:

english

File:

PDF, 277 KB

english, 2006

5

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || April – An Inductive Logic Programming System

Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Year:

2006

Language:

english

File:

PDF, 282 KB

english, 2006

6

Monodic temporal resolution

Degtyarev, Anatoli, Fisher, Michael, Konev, Boris

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 400 KB

english, 2006

7

ChemInform Abstract: Enantiospecific Intramolecular Heck Reactions of Secondary Benzylic Ethers.

Harris, Michael R., Konev, Mikhail O., Jarvo, Elizabeth R.

Journal:

Year:

2015

Language:

english

File:

PDF, 34 KB

english, 2015

8

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - Symmetric Temporal Theorem Proving

Niknafs-Kermani, Amir, Konev, Boris, Fisher, Michael

Year:

2012

Language:

english

File:

PDF, 202 KB

english, 2012

9

SPIE Proceedings [SPIE Seventh International Conference on Laser and Laser Information Technologies - Vladimir, Suzdal, Russia (Friday 22 June 2001)] Seventh International Conference on Laser and Laser-Information Technologies - High-power-range mobile railway CO2 GDL facility for civil engineering

Konev, Yuri B., Karpukhin, Vyatcheslav T., Kozlov, B. M., Malikov, Michael M., Sidorenko, Anatoly, Panchenko, Vladislav Y., Golubev, Vladimir S.

Year:

2002

Language:

english

File:

PDF, 236 KB

english, 2002

10

MAX SAT approximation beyond the limits of polynomial-time approximation

Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 119 KB

english, 2001

11

SPIE Proceedings [SPIE 6th International Conference on Industrial Lasers and Laser Applications '98 - Shatura, Moscow Region, Russia (Saturday 27 June 1998)] 6th International Conference on Industrial Lasers and Laser Applications '98 - Three-year experience of an industrial facility using gas dynamic CO2 laser at Cherepovetz Metallurgy Works SeverStahl

Karpukhin, Vyatcheslav T., Lipukhin, Yurii V., Danilov, Leonid I., Kozlov, B. M., Konev, Yuri B., Malikov, Michael M., Panchenko, Vladislav Y., Golubev, Vladimir S.

Year:

1999

Language:

english

File:

PDF, 665 KB

english, 1999

12

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Knowledge Base Revision in Description Logics

Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Year:

2006

Language:

english

File:

PDF, 436 KB

english, 2006

13

Microecological Impacts of Global Warming on Crustaceans—Temperature Induced Shifts in the Release of Larvae from American Lobster, Homarus americanus, Females

Tlusty, Michael, Metzler, Anita, Malkin, Elon, Goldstein, Jason, Koneval, Maureen

Journal:

Journal of Shellfish Research

Year:

2008

Language:

english

File:

PDF, 164 KB

english, 2008

14

Abnormal activity of transcription factors gli in high-grade gliomas

Volnitskiy, Andrey, Shtam, Tatiana, Burdakov, Vladimir, Kovalev, Roman, Konev, Alexander, Filatov, Michael, Wu, Qiang

Journal:

Year:

2019

File:

PDF, 1.53 MB

2019

15

SPIE Proceedings [SPIE Europto High Power Lasers and Laser Applications V - Vienna, Austria (Sunday 3 April 1994)] High-Power Gas and Solid State Lasers - Studies of Cu vapor laser UV sum frequency generation in DKDP

Karpukhin, Vyatcheslav T., Konev, Yuri B., Malikov, Michael M., Bohrer, Markus, Letardi, Tommaso, Schuoecker, Dieter, Weber, Horst

Year:

1994

Language:

english

File:

PDF, 682 KB

english, 1994

16

Management and prognosis of juvenile arthritis on the model of molecular genetic testing of gene p53

Kozhevnikov, Aleksey, Pozdeeva, Nina, Konev, Michael, Larionova, Valentina, Novik, Gennady

Journal:

Pediatric Rheumatology

Year:

2014

Language:

english

File:

PDF, 269 KB

english, 2014

17

SPIE Proceedings [SPIE Gas Flow and Chemical Lasers: Tenth International Symposium - Friedrichshafen, Federal Republic of Germany (Monday 5 September 1994)] Gas Flow and Chemical Lasers: Tenth International Symposium - Cu vapor laser UV frequency conversion in DKDP

Karpukhin, Vyatcheslav T., Konev, Yuri B., Malikov, Michael M., Bohn, Willy L., Huegel, Helmut

Year:

1995

Language:

english

File:

PDF, 627 KB

english, 1995

18

Phase Control in Parallel Channels of Shock-Excited Microwave Nanosecond Oscillators

Rostov, Vladislav V., El'chaninov, Anton A., Klimov, Alexei I., Konev, Vladimir Yu., Romanchenko, Ilya V., Sharypov, Konstantin A., Shunailov, Sergei A., Ul'maskulov, Marat R., Yalandin, Michael I.

Journal:

IEEE Transactions on Plasma Science

Year:

2013

Language:

english

File:

PDF, 1.17 MB

english, 2013

19

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 ||

Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Year:

2006

Language:

english

File:

PDF, 5.11 MB

english, 2006

20

Role of invasive and non-invasive additional imaging methods in pediatric rheumatology

Kozhevnikov, Aleksey, Pozdeeva, Nina, Konev, Michael, Moskalenko, Aleksey, Bergaliev, Arthur, Afonichev, Konsantin

Journal:

Pediatric Rheumatology

Year:

2014

Language:

english

File:

PDF, 264 KB

english, 2014

21

Mechanising first-order temporal resolution

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 459 KB

english, 2005

22

SPIE Proceedings [SPIE High-Power Laser Ablation - Santa Fe, NM (Sunday 26 April 1998)] High-Power Laser Ablation - High-power CO2 gas-dynamic lasers for applications in technology

Konev, Yuri B., Lipukhin, Yurii V., Danilov, Leonid I., Karpukhin, Vyatcheslav T., Malikov, Michael M., Sidorenko, Anatoly, Phipps, Claude R.

Year:

1998

Language:

english

File:

PDF, 5.62 MB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски